81. Continuous system simulation
پدیدآورنده : / Francois E. Cellier, Ernesto Kofman
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer simulation,Simulation methods,Mathematical models
82. Continuous system simulation
پدیدآورنده : / by Francois E. Cellier, Ernesto Kofman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Simulation methods,Computer simulation,Mathematical models,Mathematics
رده :
T57
.
62
.
C263
2006
83. Creating artificial life: : self-organization
پدیدآورنده : Rietman, Ed.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Artificial intelligence,، Cellular automata,، Biological systems- Computer simulation,، Biological systems- Simulation methods,، Neural networks )Computer science(
84. Data mining techniques for the life sciences
پدیدآورنده : edited by Oliviero Carugo, Frank Eisenhaber
کتابخانه: (هرمزکان)
موضوع : Life sciences--Data processing.,Data mining,Computational Biology -- methods,Computer Simulation,Databases, Genetic.
85. Data mining techniques for the life sciences
پدیدآورنده : edited by Oliviero Carugo, Department of Chemistry, University of Pavia, Pavia, Italy, Department of Structural and Computational Biology, MFPL -- Vienna University, Campus Vienna, Vienna, Austria, Frank Eisenhaber, Bioinformatics Institute (BII), Agency for Science, Technology and Reserch (A*STAR), Singapore, Singapore.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational biology-- Methods.,Computational Biology-- methods.,Computer Simulation.,Data Mining.,Databases, Genetic.
86. Diagrammatic representation and inference
پدیدآورنده : Philip Cox, Beryl Plimmer, Peter Rodgers (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer graphics, Congresses,Computer simulation, Congresses,Graphic methods, Congresses
رده :
QA90
.
D53
2012eb
87. Differential equation analysis in biomedical science and engineering
پدیدآورنده : / William E. Schiesser, Department of Chemical Engineering, Lehigh University, Bethlehem, PA
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Biomedical engineering--Computer simulation,Developmental biology--Simulation methods,Chemotaxis--Data processing,Differential equations.
رده :
R857
.
M34S345
2014
88. Differential equation analysis in biomedical science and engineering
پدیدآورنده : William E. Schiesser.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biomedical engineering-- Computer simulation.,Chemotaxis-- Data processing.,Developmental biology-- Simulation methods.,Differential equations.
89. Earthquakes
پدیدآورنده : dited by Kristy F. Tiampo, Dion K. Weatherley, Stuart A. Weinstein
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Seismology, Data processing, Congresses,Earthquakes, Computer simulation, Congresses,Seismology, Statistical methods, Congresses
رده :
QE
.
D36
,
E38
539
.
2
2008
90. Earthquakes
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Seismology ; Data processing ; Congresses. ; Earthquakes ; Computer simulation ; Congresses. ; Seismology ; Statistical methods ; Congresses. ;
91. Energy simulation in building design
پدیدآورنده : Clarke, J. A. )Joe A.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Energy conservation Simulation methods ، Buildings,Mathematical models ، Architecture and energy conservation,Computer simulation ، Architecture and energy conservation,، CONFORTO TERMICO DAS CONSTRUCOES,، CONSERVACAO DE ENERGIA
رده :
TJ
163
.
5
.
B84
C57
2001
92. Engineering Principles of Combat Modeling and Distributed Simulation.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combat-- Mathematical models.,Combat-- Simulation methods.,Military art and science-- Computer simulation.,War games-- Data processing.,Military Science.
رده :
U310
.
T63
2012
93. Engineering principles of combat modeling and Distributed Simulation
پدیدآورنده : / by Andreas Tolk
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : War games--Data processing,Military and science --Computer simulation,Combat--Mathematical models,Combat--Simulation methods
رده :
U310
.
T63
2012
94. Formal modeling and analysis of timed systems :
پدیدآورنده : Joël Ouaknine, Frits W. Vaandrager (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2009eb
95. Formal modeling and analysis of timed systems :
پدیدآورنده : Kim G. Larsen, Peter Niebert (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
96. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
97. Formal modeling and analysis of timed systems :
پدیدآورنده : Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
98. Formal modeling and analysis of timed systems
پدیدآورنده : Marcin Jurdziński, Dejan Ničković (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses
رده :
QA76
.
9
.
C65
F67
2012eb
99. Formal modeling and analysis of timed systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer simulation ; Congresses. ; Temporal automata ; Congresses. ; Formal methods (Computer science) ; Congresses. ;
100. Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers
پدیدآورنده : Kim G. Larsen, Peter Niebert )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Machine theory,Congresses ، Robots
رده :
QA
76
.
L28
Vol
.
2791
